[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

277 200 237 90 147 514 0 176 0

N.S.

1 0.72 0.86 0.32 0.53 1.86 0.00 0.64 0.00

time (sec)

N/A 0.365 1.055 1.934 0.294 0.299 0.000 0.302 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

286 207 235 88 145 499 0 177 0

N.S.

1 0.72 0.82 0.31 0.51 1.74 0.00 0.62 0.00

time (sec)

N/A 0.378 1.049 1.527 0.303 0.285 0.000 0.310 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

147 84 790 70 88 90 0 87 0

N.S.

1 0.57 5.37 0.48 0.60 0.61 0.00 0.59 0.00

time (sec)

N/A 0.242 1.099 0.104 0.216 0.259 0.000 0.317 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

316 215 260 115 148 201 0 201 0

N.S.

1 0.68 0.82 0.36 0.47 0.64 0.00 0.64 0.00

time (sec)

N/A 0.403 1.060 2.417 0.440 0.284 0.000 0.299 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

316 212 266 116 150 242 0 184 0

N.S.

1 0.67 0.84 0.37 0.47 0.77 0.00 0.58 0.00

time (sec)

N/A 0.402 1.067 2.796 0.297 0.271 0.000 0.296 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

188 98 901 92 117 119 0 120 0

N.S.

1 0.52 4.79 0.49 0.62 0.63 0.00 0.64 0.00

time (sec)

N/A 0.255 1.333 0.116 0.223 0.253 0.000 0.299 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

359 243 218 105 195 723 0 205 0

N.S.

1 0.68 0.61 0.29 0.54 2.01 0.00 0.57 0.00

time (sec)

N/A 0.437 1.094 5.373 0.288 0.300 0.000 0.316 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 73 232 31 43 58 0 32 42

N.S.

1 0.94 2.97 0.40 0.55 0.74 0.00 0.41 0.54

time (sec)

N/A 0.211 0.500 0.071 0.197 0.249 0.000 0.312 8.387

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

368 254 229 109 195 734 0 207 0

N.S.

1 0.69 0.62 0.30 0.53 1.99 0.00 0.56 0.00

time (sec)

N/A 0.456 1.106 3.703 0.289 0.276 0.000 0.325 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

360 241 221 107 193 723 0 199 0

N.S.

1 0.67 0.61 0.30 0.54 2.01 0.00 0.55 0.00

time (sec)

N/A 0.433 1.094 2.812 0.297 0.286 0.000 0.294 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

38 38 267 23 16 48 0 24 34

N.S.

1 1.00 7.03 0.61 0.42 1.26 0.00 0.63 0.89

time (sec)

N/A 0.177 0.589 0.059 0.203 0.256 0.000 0.329 8.368

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

359 254 219 112 191 734 0 198 0

N.S.

1 0.71 0.61 0.31 0.53 2.04 0.00 0.55 0.00

time (sec)

N/A 0.441 1.087 1.869 0.306 0.299 0.000 0.349 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

364 269 211 110 189 719 0 199 0

N.S.

1 0.74 0.58 0.30 0.52 1.98 0.00 0.55 0.00

time (sec)

N/A 0.456 1.087 1.534 0.282 0.279 0.000 0.327 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

223 116 96 92 132 178 0 109 0

N.S.

1 0.52 0.43 0.41 0.59 0.80 0.00 0.49 0.00

time (sec)

N/A 0.273 1.032 0.117 0.213 0.271 0.000 0.321 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

398 269 242 137 192 311 0 223 0

N.S.

1 0.68 0.61 0.34 0.48 0.78 0.00 0.56 0.00

time (sec)

N/A 0.484 1.095 2.342 0.288 0.276 0.000 0.322 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

398 266 234 138 194 352 0 215 0

N.S.

1 0.67 0.59 0.35 0.49 0.88 0.00 0.54 0.00

time (sec)

N/A 0.469 1.113 2.863 0.296 0.277 0.000 0.321 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

269 132 119 114 163 207 0 143 0

N.S.

1 0.49 0.44 0.42 0.61 0.77 0.00 0.53 0.00

time (sec)

N/A 0.294 1.036 0.135 0.204 0.256 0.000 0.314 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 159 111 453 243 369 0 900 0

N.S.

1 0.51 0.35 1.45 0.78 1.18 0.00 2.88 0.00

time (sec)

N/A 0.325 0.080 0.044 0.205 0.272 0.000 0.360 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 113 131 199 119 159 0 384 0

N.S.

1 0.55 0.64 0.97 0.58 0.78 0.00 1.87 0.00

time (sec)

N/A 0.272 0.061 0.031 0.228 0.265 0.000 0.311 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 67 53 56 35 35 0 83 0

N.S.

1 0.69 0.55 0.58 0.36 0.36 0.00 0.86 0.00

time (sec)

N/A 0.222 0.022 0.025 0.211 0.273 0.000 0.290 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 62 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.204 0.022 0.000 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 60 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.204 0.019 0.000 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 60 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.200 0.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 66 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.203 0.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 163 110 150 115 163 0 375 207

N.S.

1 0.95 0.64 0.87 0.67 0.95 0.00 2.18 1.20

time (sec)

N/A 0.308 0.085 0.273 0.216 0.269 0.000 0.311 8.388

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 128 77 96 79 108 0 235 137

N.S.

1 0.98 0.59 0.74 0.61 0.83 0.00 1.81 1.05

time (sec)

N/A 0.275 0.059 0.160 0.203 0.247 0.000 0.286 8.363

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 83 51 58 54 70 0 132 85

N.S.

1 0.99 0.61 0.69 0.64 0.83 0.00 1.57 1.01

time (sec)

N/A 0.221 0.047 0.114 0.197 0.272 0.000 0.321 8.311

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.187 0.054 0.000 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.188 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 45 32 31 30 37 0 58 46

N.S.

1 1.10 0.78 0.76 0.73 0.90 0.00 1.41 1.12

time (sec)

N/A 0.178 0.030 0.067 0.203 0.255 0.000 0.316 8.362

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 60 51 0 0 0 0 0 0

N.S.

1 1.03 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.179 0.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

53 55 211 0 0 0 0 0 0

N.S.

1 1.04 3.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.159 0.000 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 54 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.201 0.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 49 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.184 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 67 55 0 0 0 0 0 0

N.S.

1 1.05 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.203 0.037 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.180 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 80 78 83 0 254 316 75 1758

N.S.

1 0.99 0.96 1.02 0.00 3.14 3.90 0.93 21.70

time (sec)

N/A 0.248 0.041 0.099 0.000 0.285 1.718 0.399 8.891

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 62 60 0 197 223 59 1199

N.S.

1 1.02 0.98 0.95 0.00 3.13 3.54 0.94 19.03

time (sec)

N/A 0.227 0.016 0.072 0.000 0.268 0.841 0.427 8.642

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 42 37 0 129 131 36 174

N.S.

1 1.00 1.11 0.97 0.00 3.39 3.45 0.95 4.58

time (sec)

N/A 0.181 0.009 0.050 0.000 0.284 0.378 0.359 8.245

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 66 65 0 223 253 66 1362

N.S.

1 1.06 0.96 0.94 0.00 3.23 3.67 0.96 19.74

time (sec)

N/A 0.244 0.018 0.071 0.000 0.288 16.912 0.359 8.766

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 95 92 85 0 293 0 93 4281

N.S.

1 1.07 1.03 0.96 0.00 3.29 0.00 1.04 48.10

time (sec)

N/A 0.293 0.022 0.087 0.000 0.307 0.000 0.365 8.782

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

636 546 70 61 0 3402 279 0 4069

N.S.

1 0.86 0.11 0.10 0.00 5.35 0.44 0.00 6.40

time (sec)

N/A 0.989 0.023 0.501 0.000 0.492 147.579 0.000 14.726

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

631 521 70 59 0 2882 196 0 2280

N.S.

1 0.83 0.11 0.09 0.00 4.57 0.31 0.00 3.61

time (sec)

N/A 0.946 0.023 0.042 0.000 0.415 53.135 0.000 1.908

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

558 516 44 43 0 2314 175 0 2695

N.S.

1 0.92 0.08 0.08 0.00 4.15 0.31 0.00 4.83

time (sec)

N/A 0.783 0.015 0.045 0.000 0.309 1.451 0.000 12.275

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

558 496 42 43 0 1542 122 0 2129

N.S.

1 0.89 0.08 0.08 0.00 2.76 0.22 0.00 3.82

time (sec)

N/A 0.767 0.014 0.042 0.000 0.287 0.935 0.000 12.036

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

558 511 43 41 0 1798 158 0 1543

N.S.

1 0.92 0.08 0.07 0.00 3.22 0.28 0.00 2.77

time (sec)

N/A 0.763 0.014 0.042 0.000 0.290 0.748 0.000 10.791

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

558 484 45 40 0 2206 155 0 2597

N.S.

1 0.87 0.08 0.07 0.00 3.95 0.28 0.00 4.65

time (sec)

N/A 0.760 0.020 0.039 0.000 0.328 3.641 0.000 12.305

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

610 532 71 61 0 3225 252 0 2978

N.S.

1 0.87 0.12 0.10 0.00 5.29 0.41 0.00 4.88

time (sec)

N/A 0.828 0.025 0.069 0.000 0.393 2.216 0.000 11.555

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

612 514 75 62 0 3225 0 0 4063

N.S.

1 0.84 0.12 0.10 0.00 5.27 0.00 0.00 6.64

time (sec)

N/A 0.817 0.023 0.070 0.000 0.422 0.000 0.000 13.755

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 37 35 28 27 27 29 29 27

N.S.

1 1.06 1.00 0.80 0.77 0.77 0.83 0.83 0.77

time (sec)

N/A 0.191 0.005 0.074 0.192 0.247 0.057 0.321 0.029

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 22 22 22 24 22

N.S.

1 1.00 1.00 0.82 0.79 0.79 0.79 0.86 0.79

time (sec)

N/A 0.180 0.005 0.048 0.200 0.248 0.053 0.293 0.027

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 25 21 18 17 17 15 19 17

N.S.

1 1.19 1.00 0.86 0.81 0.81 0.71 0.90 0.81

time (sec)

N/A 0.177 0.005 0.046 0.216 0.237 0.046 0.296 0.030

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 25 21 18 17 17 15 19 16

N.S.

1 2.50 2.10 1.80 1.70 1.70 1.50 1.90 1.60

time (sec)

N/A 0.175 0.004 0.042 0.200 0.252 0.047 0.300 0.213

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 33 27 22 23 21 20 24 21

N.S.

1 1.22 1.00 0.81 0.85 0.78 0.74 0.89 0.78

time (sec)

N/A 0.186 0.007 0.056 0.208 0.246 0.064 0.335 8.393

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 40 34 27 28 35 29 36 26

N.S.

1 1.18 1.00 0.79 0.82 1.03 0.85 1.06 0.76

time (sec)

N/A 0.201 0.005 0.067 0.209 0.252 0.077 0.293 8.292

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 47 41 33 35 40 34 41 32

N.S.

1 1.15 1.00 0.80 0.85 0.98 0.83 1.00 0.78

time (sec)

N/A 0.203 0.005 0.070 0.202 0.242 0.090 0.288 0.024

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 141 118 68 94 102 144 96 124

N.S.

1 1.14 0.95 0.55 0.76 0.82 1.16 0.77 1.00

time (sec)

N/A 0.401 0.047 0.074 0.285 0.265 0.334 0.326 0.141

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 139 114 62 92 90 129 94 119

N.S.

1 1.14 0.93 0.51 0.75 0.74 1.06 0.77 0.98

time (sec)

N/A 0.381 0.019 0.061 0.282 0.253 0.328 0.310 0.136

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 135 111 63 89 99 134 91 118

N.S.

1 1.13 0.93 0.53 0.75 0.83 1.13 0.76 0.99

time (sec)

N/A 0.349 0.027 0.059 0.297 0.269 0.321 0.304 0.104

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 129 111 53 85 88 126 87 104

N.S.

1 1.14 0.98 0.47 0.75 0.78 1.12 0.77 0.92

time (sec)

N/A 0.342 0.016 0.056 0.284 0.265 0.315 0.315 0.091

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 129 107 60 84 106 134 86 114

N.S.

1 1.15 0.96 0.54 0.75 0.95 1.20 0.77 1.02

time (sec)

N/A 0.321 0.016 0.056 0.301 0.273 0.300 0.311 8.350

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 129 106 54 84 102 110 86 113

N.S.

1 1.15 0.95 0.48 0.75 0.91 0.98 0.77 1.01

time (sec)

N/A 0.322 0.015 0.065 0.291 0.249 0.298 0.303 8.366

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 128 108 56 84 84 119 86 113

N.S.

1 1.14 0.96 0.50 0.75 0.75 1.06 0.77 1.01

time (sec)

N/A 0.318 0.017 0.051 0.297 0.252 1.207 0.304 8.479

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 128 107 58 84 124 124 86 110

N.S.

1 1.14 0.96 0.52 0.75 1.11 1.11 0.77 0.98

time (sec)

N/A 0.316 0.015 0.055 0.307 0.253 1.151 0.376 0.127

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 140 118 61 89 117 139 91 119

N.S.

1 1.18 0.99 0.51 0.75 0.98 1.17 0.76 1.00

time (sec)

N/A 0.348 0.027 0.070 0.330 0.268 1.167 0.302 8.386

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 140 113 59 89 126 128 91 118

N.S.

1 1.18 0.95 0.50 0.75 1.06 1.08 0.76 0.99

time (sec)

N/A 0.349 0.036 0.066 0.323 0.262 1.041 0.313 8.460

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 152 118 67 96 112 141 98 124

N.S.

1 1.21 0.94 0.53 0.76 0.89 1.12 0.78 0.98

time (sec)

N/A 0.386 0.029 0.072 0.315 0.252 1.197 0.317 0.111

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 152 118 65 96 153 136 98 121

N.S.

1 1.21 0.94 0.52 0.76 1.21 1.08 0.78 0.96

time (sec)

N/A 0.387 0.041 0.079 0.302 0.254 1.035 0.304 8.495

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

412 350 59 44 0 300 26 641 320

N.S.

1 0.85 0.14 0.11 0.00 0.73 0.06 1.56 0.78

time (sec)

N/A 0.623 0.010 0.043 0.000 0.273 0.091 0.332 8.731

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 40 39 33 32 32 37 32 34

N.S.

1 1.03 1.00 0.85 0.82 0.82 0.95 0.82 0.87

time (sec)

N/A 0.208 0.009 0.044 0.284 0.249 0.054 0.298 0.030

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 367 41 40 0 295 26 827 304

N.S.

1 0.89 0.10 0.10 0.00 0.72 0.06 2.01 0.74

time (sec)

N/A 0.594 0.014 0.035 0.000 0.276 0.079 0.322 8.612

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 349 39 40 0 261 24 640 327

N.S.

1 0.85 0.09 0.10 0.00 0.64 0.06 1.56 0.80

time (sec)

N/A 0.506 0.007 0.037 0.000 0.269 0.075 0.328 8.678

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 27 18 20

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.17 0.78 0.87

time (sec)

N/A 0.169 0.007 0.036 0.277 0.252 0.050 0.318 0.023

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

375 355 40 38 0 295 26 815 304

N.S.

1 0.95 0.11 0.10 0.00 0.79 0.07 2.17 0.81

time (sec)

N/A 0.521 0.008 0.035 0.000 0.282 0.077 0.308 8.524

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C C F C A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 337 42 37 0 285 20 632 327

N.S.

1 1.81 0.23 0.20 0.00 1.53 0.11 3.40 1.76

time (sec)

N/A 0.496 0.016 0.030 0.000 0.267 0.083 0.298 8.506

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 44 55 33 38 34 41 35 36

N.S.

1 1.07 1.34 0.80 0.93 0.83 1.00 0.85 0.88

time (sec)

N/A 0.217 0.012 0.052 0.272 0.250 0.065 0.302 0.032

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 372 61 35 0 255 24 829 286

N.S.

1 0.89 0.15 0.08 0.00 0.61 0.06 1.99 0.69

time (sec)

N/A 0.553 0.011 0.058 0.000 0.267 0.086 0.307 8.545

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

418 356 65 38 0 337 31 645 324

N.S.

1 0.85 0.16 0.09 0.00 0.81 0.07 1.54 0.78

time (sec)

N/A 0.527 0.010 0.053 0.000 0.247 0.089 0.312 8.811

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 51 38 43 51 48 45 41

N.S.

1 1.02 1.06 0.79 0.90 1.06 1.00 0.94 0.85

time (sec)

N/A 0.227 0.011 0.055 0.284 0.252 0.075 0.297 0.039

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

423 379 54 46 0 338 39 839 318

N.S.

1 0.90 0.13 0.11 0.00 0.80 0.09 1.98 0.75

time (sec)

N/A 0.582 0.013 0.059 0.000 0.270 0.096 0.293 8.722

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 339 38 33 0 299 24 0 513

N.S.

1 0.89 0.10 0.09 0.00 0.78 0.06 0.00 1.35

time (sec)

N/A 0.602 0.007 0.041 0.000 0.279 0.065 0.000 9.360

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 27 18 20

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.17 0.78 0.87

time (sec)

N/A 0.169 0.010 0.036 0.281 0.252 0.047 0.385 0.030

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

399 351 37 36 0 261 24 0 351

N.S.

1 0.88 0.09 0.09 0.00 0.65 0.06 0.00 0.88

time (sec)

N/A 0.523 0.007 0.038 0.000 0.257 0.062 0.000 9.294

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

231 238 206 0 0 451 0 0 543

N.S.

1 1.03 0.89 0.00 0.00 1.95 0.00 0.00 2.35

time (sec)

N/A 0.426 0.436 0.000 0.000 0.280 0.000 0.000 9.329

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 180 166 0 0 367 0 0 315

N.S.

1 1.05 0.97 0.00 0.00 2.15 0.00 0.00 1.84

time (sec)

N/A 0.329 0.306 0.000 0.000 0.288 0.000 0.000 8.694

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

153 163 132 0 0 303 0 0 193

N.S.

1 1.07 0.86 0.00 0.00 1.98 0.00 0.00 1.26

time (sec)

N/A 0.307 0.242 0.000 0.000 0.266 0.000 0.000 8.356

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 119 101 0 0 237 0 96 87

N.S.

1 1.10 0.94 0.00 0.00 2.19 0.00 0.89 0.81

time (sec)

N/A 0.248 0.219 0.000 0.000 0.279 0.000 0.308 8.389

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 87 87 0 0 197 0 74 72

N.S.

1 1.05 1.05 0.00 0.00 2.37 0.00 0.89 0.87

time (sec)

N/A 0.214 0.294 0.000 0.000 0.264 0.000 0.327 8.489

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 105 0 0 566 0 0 88

N.S.

1 1.00 0.96 0.00 0.00 5.19 0.00 0.00 0.81

time (sec)

N/A 0.290 0.174 0.000 0.000 0.288 0.000 0.000 8.366

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 115 107 0 0 601 0 0 91

N.S.

1 1.03 0.96 0.00 0.00 5.37 0.00 0.00 0.81

time (sec)

N/A 0.293 0.168 0.000 0.000 0.279 0.000 0.000 8.567

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 92 91 0 0 215 0 0 0

N.S.

1 1.05 1.03 0.00 0.00 2.44 0.00 0.00 0.00

time (sec)

N/A 0.234 0.233 0.000 0.000 0.270 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 127 108 0 0 259 0 0 0

N.S.

1 1.09 0.93 0.00 0.00 2.23 0.00 0.00 0.00

time (sec)

N/A 0.266 0.400 0.000 0.000 0.298 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

161 171 141 0 0 325 0 0 0

N.S.

1 1.06 0.88 0.00 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.328 0.510 0.000 0.000 0.315 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

199 216 176 0 0 389 0 0 0

N.S.

1 1.09 0.88 0.00 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 0.406 0.676 0.000 0.000 0.337 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 140 358 0 0 0 0 0 0

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 8.914 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 140 337 0 0 0 0 0 0

N.S.

1 1.00 2.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 10.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 335 0 0 0 0 0 0

N.S.

1 1.00 2.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.247 10.235 0.000 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 138 340 0 0 0 0 0 0

N.S.

1 1.00 2.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.290 10.262 0.000 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 140 340 0 0 0 0 0 0

N.S.

1 1.00 2.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 10.209 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]